<?php
	define("SESSION_COOKIE_NAME", "PHPSESSIONID");
?>